H ETS User Guide – Version 0 . 85 –
نویسندگان
چکیده
The Heterogeneous Tool Set (HETS) is the main analysis tool for the specification language heterogeneous CASL. Heterogeneous CASL (HETCASL) combines the specification language CASL [6, 28] with CASL extensions and sublanguages, as well as completely different logics and even programming languages such as Haskell. HETCASL (see Fig. 1 for a simple subset) extends the structuring mechanisms of CASL: Basic specifications are unstructured specifications or modules written in a specific logic. The graph of currently supported logics and logic translations (the latter are also called comorphisms) is shown in Fig. 2, and the degree of support by HETS in Fig. 3. With heterogeneous structured specifications, it is possible to combine and rename specifications, hide parts thereof, and also translate them to other logics. Architectural specifications prescribe the structure of implementations. Specification libraries are collections of named structured and architectural specifications. HETS consists of logic-specific tools for the parsing and static analysis of the different involved logics, as well as a logic-independent parsing and static analysis tool for structured and architectural specifications and libraries. The latter of course needs to call the logic-specific tools whenever a basic specification is encountered. HETS is based on the theory of institutions [11], which formalize the notion of a logic. The theory behind HETS is laid out in [20]. A short overview of HETS is given in [25, 26].
منابع مشابه
Designing a Digital Medical Management Training Simulator Using Distributed Cognition Theory
Background: Training of medical professionals is important to improve care during mass-causality events. Therefore, it is essential to extend knowledge on how to design valid and usable simulation-based training environments. Purpose: This article investigates how distributed cognition and simulation theory concepts can guide design of simulation-based training environments. We present the desi...
متن کاملItem distribution, internal consistency and inter-rater reliability of the German version of the QUALIDEM for people with mild to severe and very severe dementia
BACKGROUND The QUALIDEM is a dementia-specific Quality of life (Qol) instrument that is recommended for longitudinal studies and advanced stages of dementia. Our study aimed to develop a user guide for the German version of the QUALIDEM and to determine the item distribution, internal consistency and inter-rater reliability (IRR) of the German QUALIDEM. METHODS A user guide was developed base...
متن کاملAssociation between environmental tobacco smoke and depression among Korean women
OBJECTIVE To evaluate the association between environmental tobacco smoke (ETS) exposure and depression among Korean women. METHODS Between 2008 and 2011, we examined 731 men and 1249 women (aged 39-85 years) for the Korean Genome and Epidemiology Study (KoGES)-Kangwha. Among 1208 never-smoking women, we excluded two women taking antidepressants and five women who did not complete the Beck De...
متن کاملAdaptation of the European Commission-recommended user testing method to patient medication information leaflets in Japan
BACKGROUND The safe use of drugs relies on providing accurate drug information to patients. In Japan, patient leaflets called Drug Guide for Patients are officially available; however, their utility has never been verified. This is the first attempt to improve Drug Guide for Patients via user testing in Japan. PURPOSE To test and improve communication of drug information to minimize risk for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009